COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	∂01-Sep-87  0939	ME  	noedit chars   
C00005 ENDMK
C⊗;
∂01-Sep-87  0939	ME  	noedit chars   
Here is a table from E.ALS[up,doc]/21P with the names of all the special
SAIL characters (ASCII control chars).  To enter any of these from a no-edit
display, you just quote it with ↑Q.  (To enter one with CONTROL BIT added,
use ↑P instead; similarly, CONTROL-META comes via ↑W (double bucky), and
META via ↑V.)  READ NOEDIT for more details.

There are handier tables than this, but they probably won't help you unless
you can actually see the SAIL character set.  (Do you have your printer with
you?  You could print NOEKEY.ARK[UP,DOC].  Or have it printed and mailed to you.)

(This table contains the actual printing special SAIL characters.)

000	null
001	down arrow	↓	<ctr>A
002	alpha		α	<ctr>B
003	beta		β	<ctr>C
004	logical and	∧	<ctr>D
005	logical not	¬	<ctr>E
006	epsilon		ε	<ctr>F
007	pi		π	<ctr>G

010	lambda		λ	<ctr>H
011	TAB
012	LF
013	VT
014	FF
015	CR
016	infinity	∞	<ctr>N
017	delta		∂	<ctr>O

020	containment	⊂	<ctr>P
021	implication	⊃	<ctr>Q
022	intersection	∩	<ctr>R
023	union		∪	<ctr>S
024	for all		∀	<ctr>T
025	there exists	∃	<ctr>U
026	circle times	⊗	<ctr>V
027	double-arrow	↔	<ctr>W

030	underbar	_	<ctr>X
031	right-arrow	→	<ctr>Y
032	tilde		~	<ctr>Z
033	not equal	≠	<ctr>[
034	less or equal	≤	<ctr>\
035	greater or eq	≥	<ctr>]
036	equivalence	≡	<ctr>↑
037	logical or	∨	<ctr>←

Note: To get tilde, just type tilde (which in ASCII is 176).
      To get underbar, just type underbar (137 in ASCII).
      To get left-arrow, type ↑Q↑X.
      To get non-equals, type ↑Q↑Z.
      To get Altmode, type ESC.
      To get ESCAPE, type ↑@ (null).
      To get BREAK, type ↑@ and then "-" (minus sign).